Constraint programming - PDFSEARCH.IO - Document Search Engine

Constraint programming
Results: 1169

#	Item
221	Reverse Execution With Constraint Solving Raluca Sauciuc George Necula Electrical Engineering and Computer Sciences Add to Reading List Source URL: www.cs.berkeley.edu Language: English - Date: 2013-05-12 14:29:36 Declarative programming Satisfiability Modulo Theories Type system Prolog Symbolic execution Linear programming Theoretical computer science Software engineering Constraint programming
222	Introduction Search Tree Visualizer Constraint and Variable Visualizers Tools VIZ - A Generic Constraint Visualization Tool Add to Reading List Source URL: 4c.ucc.ie Language: English - Date: 2010-02-23 08:02:12 Computing Visualizer Document camera ECLiPSe Constraint programming Software engineering Computer programming
223	TLP 11 (4–5): 593–609, C Cambridge University Press 2011 ! 593 Add to Reading List Source URL: clip.dia.fi.upm.es Language: English - Date: 2011-07-06 10:36:03 Logic in computer science Constraint programming Formal languages Logic programming Constraint Handling Rules Operational semantics Constraint logic programming Model theory Bisimulation Theoretical computer science Mathematics Applied mathematics
224	Problem Program Naive Search Improvements Chapter 6: Search Strategies (N-Queens) Add to Reading List Source URL: 4c.ucc.ie Language: English - Date: 2009-06-21 13:28:54 Constraint programming Eight queens puzzle Array data type Local consistency C Mathematics Software engineering Computing
225	The Complexity of the Routing Problem in POR Wei Hu, Jin Xie, and Zhenghao Zhang Computer Science Department Florida State University Tallahassee, FL 32306, USA Abstract—We have designed and implemented a new protocol Add to Reading List Source URL: www.cs.fsu.edu Language: English - Date: 2013-06-12 09:46:54 Optimization problem Applied mathematics Constraint programming Theoretical computer science 2-satisfiability Mathematics
226	Some Research Challenges and Remarks on CP Nicolas Beldiceanu Automata and Learning Question Is there a declarative way for describing concisely a generator of automata (or MDDs) that have a very regular structure? Add to Reading List Source URL: 4c.ucc.ie Language: English - Date: 2012-10-12 20:10:27 ECLiPSe Propagator Graph Computing Constraint programming Software engineering Computer programming
227	Two Problems - Two Solutions: One System ECLiPSe Mark Wallace and Andre Veron AprilIntroduction Add to Reading List Source URL: eclipseclp.org Language: English - Date: 2015-04-07 09:30:53 Computer programming Constraint satisfaction Constraint logic programming Local consistency ECLiPSe CHIP Constraint Backtracking Logic programming Constraint programming Declarative programming Software engineering
228	Introduction Application Structure Documentation Data Representation Programming Concepts Style Guide Add to Reading List Source URL: 4c.ucc.ie Language: English - Date: 2009-06-21 13:47:02 Eclipse Constraint programming Software Computing Computer programming
229	Overview of Course What do you need to know about CP? What is CP good for? A Core Set of Global Constraints Visualization Add to Reading List Source URL: 4c.ucc.ie Language: English - Date: 2009-06-24 17:40:28 Constraint programming Mathematical optimization
230	36 Features Trial and error methods, "expert" guessing or linear programming? Formulating sound nutritional recommendations for complementary feeding André Briend, Institut de Recherche pour le Développement et Add to Reading List Source URL: www.nutrisurvey.de Language: English - Date: 2004-10-18 08:36:17 Food science Health sciences Self-care Biology Human nutrition Food fortification Linear programming Food energy Constraint Health Nutrition Medicine

UPDATE